Propositional Abduction in Modal Logic
نویسندگان
چکیده
منابع مشابه
Propositional Abduction in Modal Logic
In this work, the problem of performing abduction in modal logics is addressed, along the lines of 3], where a proof theoretical abduction method for full rst order classical logic is deened, based on tableaux and Gentzen-type systems. This work applies the same methodology to face modal abduction. The non-classical context enforces the value of analytical proof systems as tools to face the met...
متن کاملIntroduction to Modal Propositional Logic
The terminology and notation used here are introduced in the following papers: [15], [11], [2], [14], [16], [13], [7], [5], [6], [8], [10], [12], [1], [9], [3], [4], and [17]. For simplicity we follow a convention: x, y will be arbitrary, n, m, k will denote natural numbers, t1 will denote a tree decorated by [: , qua a non-empty set :], w, s, t will denote finite sequences of elements of , X w...
متن کاملAbduction and prime implicates, from propositional logic to equational logic
Contents Motivations 4 1 State of the art for prime implicate generation in propositional logic 6 1.1 Abduction and prime implicates in propositional logic .
متن کاملExpressivity of Second Order Propositional Modal Logic
We consider second order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem-Rosen theorem and the GoldblattThomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of S...
متن کاملAxiomatizations for Propositional and Modal Team Logic
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K. Complete axiomatizations for their team-based extensions, propositional team logic PTL and modal team logic MTL, are presented. 1998 ACM Subject Classification F.4.1 Mathema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 1995
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/3.6.907